122 research outputs found
A hierarchical MPC scheme for interconnected systems
This paper describes a hierarchical control scheme for interconnected
systems. The higher layer of the control structure is designed with robust
Model Predictive Control (MPC) based on a reduced order dynamic model of the
overall system and is aimed at optimizing long-term performance, while at the
lower layer local regulators acting at a higher frequency are designed for the
full order models of the subsystems to refine the control action. A simulation
experiment concerning the control of the temperature inside a building is
reported to witness the potentialities of the proposed approach
LSTM Neural Networks: Input to State Stability and Probabilistic Safety Verification
The goal of this paper is to analyze Long Short Term Memory (LSTM) neural
networks from a dynamical system perspective. The classical recursive equations
describing the evolution of LSTM can be recast in state space form, resulting
in a time-invariant nonlinear dynamical system. A sufficient condition
guaranteeing the Input-to-State (ISS) stability property of this class of
systems is provided. The ISS property entails the boundedness of the output
reachable set of the LSTM. In light of this result, a novel approach for the
safety verification of the network, based on the Scenario Approach, is devised.
The proposed method is eventually tested on a pH neutralization process.Comment: Accepted for Learning for dynamics & control (L4DC) 202
Learning-based predictive control for linear systems: a unitary approach
A comprehensive approach addressing identification and control for
learningbased Model Predictive Control (MPC) for linear systems is presented.
The design technique yields a data-driven MPC law, based on a dataset collected
from the working plant. The method is indirect, i.e. it relies on a model
learning phase and a model-based control design one, devised in an integrated
manner. In the model learning phase, a twofold outcome is achieved: first,
different optimal p-steps ahead prediction models are obtained, to be used in
the MPC cost function; secondly, a perturbed state-space model is derived, to
be used for robust constraint satisfaction. Resorting to Set Membership
techniques, a characterization of the bounded model uncertainties is obtained,
which is a key feature for a successful application of the robust control
algorithm. In the control design phase, a robust MPC law is proposed, able to
track piece-wise constant reference signals, with guaranteed recursive
feasibility and convergence properties. The controller embeds multistep
predictors in the cost function, it ensures robust constraints satisfaction
thanks to the learnt uncertainty model, and it can deal with possibly
unfeasible reference values. The proposed approach is finally tested in a
numerical example
Plug-and-play distributed state estimation for linear systems
This paper proposes a state estimator for large-scale linear systems
described by the interaction of state-coupled subsystems affected by bounded
disturbances. We equip each subsystem with a Local State Estimator (LSE) for
the reconstruction of the subsystem states using pieces of information from
parent subsystems only. Moreover we provide conditions guaranteeing that the
estimation errors are confined into prescribed polyhedral sets and converge to
zero in absence of disturbances. Quite remarkably, the design of an LSE is
recast into an optimization problem that requires data from the corresponding
subsystem and its parents only. This allows one to synthesize LSEs in a
Plug-and-Play (PnP) fashion, i.e. when a subsystem gets added, the update of
the whole estimator requires at most the design of an LSE for the subsystem and
its parents. Theoretical results are backed up by numerical experiments on a
mechanical system
Stability of discrete-time feed-forward neural networks in NARX configuration
The idea of using Feed-Forward Neural Networks (FFNNs) as regression
functions for Nonlinear AutoRegressive eXogenous (NARX) models, leading to
models herein named Neural NARXs (NNARXs), has been quite popular in the early
days of machine learning applied to nonlinear system identification, owing to
their simple structure and ease of application to control design. Nonetheless,
few theoretical results are available concerning the stability properties of
these models. In this paper we address this problem, providing a sufficient
condition under which NNARX models are guaranteed to enjoy the Input-to-State
Stability (ISS) and the Incremental Input-to-State Stability ({\delta}ISS)
properties. This condition, which is an inequality on the weights of the
underlying FFNN, can be enforced during the training procedure to ensure the
stability of the model. The proposed model, along with this stability
condition, are tested on the pH neutralization process benchmark, showing
satisfactory results.Comment: This work has been submitted to IFAC for possible publicatio
Tustin neural networks: a class of recurrent nets for adaptive MPC of mechanical systems
The use of recurrent neural networks to represent the dynamics of unstable
systems is difficult due to the need to properly initialize their internal
states, which in most of the cases do not have any physical meaning, consequent
to the non-smoothness of the optimization problem. For this reason, in this
paper focus is placed on mechanical systems characterized by a number of
degrees of freedom, each one represented by two states, namely position and
velocity. For these systems, a new recurrent neural network is proposed:
Tustin-Net. Inspired by second-order dynamics, the network hidden states can be
straightforwardly estimated, as their differential relationships with the
measured states are hardcoded in the forward pass. The proposed structure is
used to model a double inverted pendulum and for model-based Reinforcement
Learning, where an adaptive Model Predictive Controller scheme using the
Unscented Kalman Filter is proposed to deal with parameter changes in the
system.Comment: Under revie
An Offset-Free Nonlinear MPC scheme for systems learned by Neural NARX models
This paper deals with the design of nonlinear MPC controllers that provide
offset-free setpoint tracking for models described by Neural Nonlinear
AutoRegressive eXogenous (NNARX) networks. The NNARX model is identified from
input-output data collected from the plant, and can be given a state-space
representation with known measurable states made by past input and output
variables, so that a state observer is not required. In the training phase, the
Incremental Input-to-State Stability ({\delta}ISS) property can be forced when
consistent with the behavior of the plant. The {\delta}ISS property is then
leveraged to augment the model with an explicit integral action on the output
tracking error, which allows to achieve offset-free tracking capabilities to
the designed control scheme. The proposed control architecture is numerically
tested on a water heating system and the achieved results are compared to those
scored by another popular offset-free MPC method, showing that the proposed
scheme attains remarkable performances even in presence of disturbances acting
on the plant.Comment: This manuscript is the extended version of the paper accepted at the
61st IEEE Conference on Decision and Control. Copyright may be transferred
without notice, after which this version may no longer be accessibl
On multi-step prediction models for receding horizon control
The derivation of multi-step-ahead prediction models from sampled data of a
linear system is considered. A dedicated prediction model is built for each
future time step of interest. In addition to a nominal model, the set of all
models consistent with data and prior information is derived as well, making
the approach suitable for robust control design within a Model Predictive
Control framework. The resulting parameter identification problem is solved
through a sequence of convex programs, overcoming the non-convexity arising
when identifying 1-step prediction models with an output-error criterion. At
the same time, the derived models guarantee a worst-case error which is always
smaller than the one obtained by iterating models identified with a 1-step
prediction error criterion.Comment: This manuscript contains technical details of recent results
developed by the authors on learning-based model predictive control for
linear time invariant system
- …